//]]>
Unhighlight Highlight
Mathematical Foundations of Computer Science 2013 by Chatterjee, Krishnendu. Publication: . XVI, 854 p. 92 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XVI by Peters, James F. Publication: . X, 221 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2012 by Rovan, Branislav. Publication: . XV, 825 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Rough Sets XV by Peters, James F. Publication: . IX, 181p. 54 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rough Sets and Knowledge Technology by Li, Tianrui. Publication: . XVIII, 526 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning by Gramlich, Bernhard. Publication: . XIV, 568p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Ong, Luke. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithm Engineering by Müller-Hannemann, Matthias. Publication: . XVI, 513 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Verification of Multi-agent Systems by Dastani, Mehdi. Publication: . XVII, 405p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية